init{-}p(${\it es}$; $i$; $T$; $x$; $v$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$es{-}dtype(${\it es}$; $i$; $x$; $T$) c$\wedge$ (es{-}initially(${\it es}$; $i$; $x$) = $v$ $\in$ $T$)